menu: Stop looking at padding and margin manually
authorTimm Bäder <mail@baedert.org>
Sun, 7 May 2017 10:36:47 +0000 (12:36 +0200)
committerMatthias Clasen <mclasen@redhat.com>
Thu, 20 Jul 2017 01:27:12 +0000 (21:27 -0400)
commitc35a78110c00ccf6e326149e6b2f52b84c72d3f9
treea55cf876bdfa6ff9341df356f3239b81493cac98
parent8d2d2ae07fcaca8c2f01113ade47bf36e257179a
menu: Stop looking at padding and margin manually
gtk/gtkmenu.c